• Compiler transformations in hardware synthesis of Mpeg2 codes 

      Chatzianastasiou G., Tsakyridis A., Dimitriou G., Stamoulis G., Dossis M. (2016)
      High-level synthesis is the technique that translates high-level programming language programs into equivalent hardware descriptions. The use of conventional programming languages as input to high-level synthesis is ...
    • Hardware synthesis of high-level C constructs 

      Dossis M., Dimitriou G. (2015)
      In this paper, experiments with a useable C frontend for the CCC behavioural synthesis tools are presented and analysed. This tool combination is able to rapidly deliver provably-correct hardware implementations at the RTL ...
    • Loop pipelining in high-level synthesis with CCC 

      Dimitriou G., Dossis M., Stamoulis G. (2017)
      High-level synthesis allows the use of high-level programming languages for hardware design. Traditional programming with the C and ADA languages can lead to efficient hardware description through recently developed ...
    • Minimal-area loop pipelining for high-level synthesis with CCC 

      Dimitriou G., Dossis M., Stamoulis G. (2017)
      Increased complexity of computer hardware makes close to impossible to rely on hand-coding at the-level of HDLs for digital hardware design. High-level synthesis can be employed instead, in order to automatically obtain ...
    • A pattern language for FIPA agent interface design 

      Konstandinidis, V.; Karageorgos, A. (2005)
      This paper presents a pattern language supporting the design of web/mobile interfaces to static agents built by FIPA-compliant agent toolkits. The approach followed was to collaboratively gather the requirements the language ...
    • Performance and power simulation of a functional-unit-network processor with Simplescalar and Wattch 

      Kalaitzidis K., Dimitriou G., Stamoulis G., Dossis M. (2015)
      Loop acceleration is a means to enhance performance of a singleor multiple-issue microprocessor core. A new edge-like processor architecture incorporates a loop accelerator directly in the out-oforder back end of the ...
    • Real-time dynamic data-driven simulation of continuum systems 

      Michopoulos, J. G.; Farhat, C.; Houstis, E. N. (2004)
      Recent proliferation of sensor networks in various application areas has promoted real-time behavioral monitoring of various physical systems. The opportunity to use sensor generated data dynamically for improving speed, ...
    • Route Optimization of Electric Vehicles Based on Dynamic Wireless Charging 

      Kosmanos D., Maglaras L.A., Mavrovouniotis M., Moschoyiannis S., Argyriou A., Maglaras A., Janicke H. (2018)
      One of the barriers for the adoption of electric vehicles (EVs) is the anxiety around the limited driving range. Recent proposals have explored charging EVs on the move, using dynamic wireless charging which enables power ...
    • Source-level compiler optimizations for high-level synthesis 

      Dimitriou G., Chatzianastasiou G., Tsakyridis A., Stamoulis G., Dossis M. (2016)
      With high-level synthesis becoming the preferred method for hardware design, tools that operate on high-level programming languages and optimize hardware output are crucial for successful synthesis. In high-level synthesis, ...